The DSSV Methodology: High Level Validation of CORBA Architecture using a Discrete Event Simulation Approach

Several commercial software allow to model and simulate an architecture at the physical network layer. However, none of them allow simulating the operating scheme of a distributed object architecture. The aim of this article is to propose a methodology based on the DEVS formalism for the modeling and the simulation of distributed object architectures. We extend the classical “Waterfall” software model with three different description layers: the informal specification layer, the formal specification layer and the code layer. The first layer describes a software using a textual, human-readable approach. The second one describes a software using an approach combining, for instance, an UML description and little pieces of code for some precise details of the implementation. Finally, the third layer describes a software only using code. We will see that this methodology occurs at the formal description layer.